#ifndef __INCLUDE_LOADER_H__
#define __INCLUDE_LOADER_H__

#include <type.h>

//[p1-task3]
//uint64_t load_task_img(int taskid);

//[p1-task4]
//uint64_t load_task_img(char *taskname, int tasknum);

//[p1-task5]
uint64_t load_task_img(int taskid);

#endif
